4

On Formalization of Model-Theoretic Proofs of Gödel's Theorems

Year:
1994
Language:
english
File:
PDF, 89 KB
english, 1994